• Home
  • Technology
  • Gaming
  • Entertainment
  • World & Business
  • Science
  • Sports
  • AI
HomeTechnologyGamingEntertainmentWorld & BusinessScienceSportsAI
Science
Report

The risk of AI cheating in mathematical proof checks

New Scientist reports that formalisation turns theorems into code, while tool developers are working to prevent AI from cheating.

New ScientistNS
1 Source, 1h ago, first seen 1h ago

TLDR

New Scientist reports that formalisation lets computers check the logic of mathematical theorems and expose flaws. Developers of these tools have realised AI models could cheat their way to success, the outlet says, and are working to tighten the tools.

Combined views

1.7K

1 Source, first seen 1h ago

1 likes

Combined views

1.7K

1 Source, first seen 1h ago

1 likes

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

Featured Source

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

1 Source

New Scientist@newscientistAI models are solving mathematics problems with increasing pace, and a technique called formalisation is key to demonstrating that their claimed solutions are indeed correct. But can we trust the formalisation process? https://www.newscientist.com/article/2591256-mathematicians-and-ai-are-in-a-behind-the-scenes-battle-over-whats-true/1h
    • Home
    • Technology
    • Gaming
    • Entertainment
    • World & Business
    • Science
    • Sports
    • AI

    1 Source

    New Scientist@newscientistAI models are solving mathematics problems with increasing pace, and a technique called formalisation is key to demonstrating that their claimed solutions are indeed correct. But can we trust the formalisation process? https://www.newscientist.com/article/2591256-mathematicians-and-ai-are-in-a-behind-the-scenes-battle-over-whats-true/1h
    Today's Rank

    #5

    Today's Rank

    #5