AI har inte varit så bra på logik och matematik. Till exempel hade tidiga ChatGPT problem med rena mattetal. Dock har de ju blivit bra på att framställa stora mängder text. Nu har DeepMind klurat på hur man kan träna en AI-modell så den förstår logik och matematik från grunden så att säga. Vad kan det här leda till för intressanta saker i framtiden? Att kombinera och koordinara olika typer av AI-modeller som är bra på olika saker lär väl öka den upplevda "intelligensnivån" ordentligt.
Citat:
In our benchmarking set of 30 Olympiad geometry problems (IMO-AG-30), compiled from the Olympiads from 2000 to 2022, AlphaGeometry solved 25 problems under competition time limits. This is approaching the average score of human gold medalists on these same problems. The previous state-of-the-art approach, known as “Wu’s method”, solved 10.
https://www.youtube.com/watch?v=NrNjvIrCqII
https://deepmind.google/discover/blo...-for-geometry/